COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	% boo versions of special font and formatting using active chars  |,/
C00006 ENDMK
C⊗;
% boo versions of special font and formatting using active chars  |,/
%  from manual.tex[tex,dek]


\catcode`@=11 % borrow the private macros of PLAIN (with care)

\def\|{\leavevmode\hbox{\tt\char`\|}} % vertical line

{\obeyspaces\gdef {\ }}

\newskip\ttglue
  \tt \ttglue=.5em plus.25em minus.15em

% macros for verbatim scanning
\chardef\other=12
%  \def\ttverbatim{\begingroup
%    \catcode`\\=\other
%    \catcode`\{=\other
%    \catcode`\}=\other
%    \catcode`\$=\other
%    \catcode`\&=\other
%    \catcode`\#=\other
%    \catcode`\%=\other
%    \catcode`\~=\other
%    \catcode`\/=\other
%    \catcode`\_=\other
%    \catcode`\↑=\other
%    \obeyspaces \obeylines \tt}

% macros for verbatim scanning
\def\ttverbatim{\begingroup
%  \let\+=\relax % in case this file is being read in twice
  \catcode`\\=\other
  \catcode`\{=\other
  \catcode`\}=\other
  \catcode`\$=\other
  \catcode`\&=\other
  \catcode`\#=\other
  \catcode`\%=\other
  \catcode`\~=\other
  \catcode`\/=\other
  \catcode`\_=\other
  \catcode`\↑=\other
%  \mathcode`\!="7021
\mathcode`\'="7027
\mathcode`\(="7028
\mathcode`\)="7029
\mathcode`\*="702A
%  \mathcode`\+="702B
%  \mathcode`\,="702C
\mathcode`\-="702D
\mathcode`\.="702E
\mathcode`\/="702F
\mathcode`\:="703A
%  \mathcode`\;="703B
\mathcode`\<="703C
\mathcode`\=="703D
\mathcode`\>="703E
\mathcode`\?="703F
%  \mathcode`\[="705B
\mathcode`\\="705C
%  \mathcode`\]="705D
\mathcode`\_="705F
%  \mathcode`\{="707B
%  \mathcode`\}="707D
  \obeyspaces \obeylines \tt}

\def\begintt{$$\let\par=\endgraf \ttverbatim \parskip=\z@
  \catcode`\|=0 \rightskip-5pc \ttfinish}
{\catcode`\|=0 |catcode`|\=\other % | is temporary escape character
  |obeylines % end of line is active
  |gdef|ttfinish#1↑↑M#2\endtt{#1|vbox{#2}|endgroup$$}}

\catcode`\|=\active
{\obeylines \gdef|{\ttverbatim \spaceskip\ttglue \let↑↑M=\  \let|=\endgroup}}


\catcode`@=12 % at signs are no longer letters